#programación por restricciones

CP-SynC: Modelado de restricciones multiagente zero-shot en MiniZinc con verificadores sintetizados

CP-SynC: Método zero-shot para restricciones multiagente con verificadores sintetizados en MiniZinc. Optimiza problemas complejos de forma eficiente.